Electronic Books

Total Books: 21 - 40 /103
Dependable Systems: Software, Computing, Networks

The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...

Lire la suite
Distributed Applications and Interoperable Systems

This book presented context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of ...

Lire la suite
Distributed Applications and Interoperable Systems

This book presented context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of ...

Lire la suite
Distributed and Parallel Systems

This book devoted to general algorithmic aspects of parallel and distributed computing and grid computing. This book includes ...

Lire la suite
Distributed and Parallel Systems

This book devoted to general algorithmic aspects of parallel and distributed computing and grid computing. This book includes ...

Lire la suite
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...

Lire la suite
NoIMG
Enterprise Interoperability

Interoperability: the ability of a system or a product to work with other systems or products without special effort from ...

Lire la suite
Formal Methods and Software Engineering (vol. # 3785)

This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...

Lire la suite
Formal Methods and Stochastic Models for Performance Evaluation

This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...

Lire la suite
Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Lire la suite
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

Lire la suite
Formal Methods for Performance Evaluation

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...

Lire la suite
Formal Methods in Software and Systems Modeling

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...

Lire la suite
Foundations of Information and Knowledge Systems

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

Lire la suite
Foundations of Security Analysis and Design III

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...

Lire la suite
Fundamental Approaches to Software Engineering

This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...

Lire la suite
Fundamental Approaches to Software Engineering (vol. # 3442)

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Lire la suite
Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

Lire la suite
Fuzzy Database Modeling of Imprecise and Uncertain Engineering Information

This book presents recent advances for imprecise and uncertain engineering information from the point of view of fuzzy database ...

Lire la suite
Global Computing

This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...

Lire la suite
Total Books: 21 - 40 /103